[Alphabetical Index | Tag Index]

Function type

The representation of a function in the type system. Typically includes parameter types and return type, written t_1, ..., t_k → t.